⭐ Awesome lists - matmat · Scour

prepend.com·1d

🔌Operating system internals

A Unified Framework for Scalable and Robust Paper Assignment

arxiv.org·1h

📇Indexing Strategies

Free papers, get your free papers here!

esat.kuleuven.be·11h

🔢Reed-Solomon Math

Remarkable fast plain text notes

fsnot.es·9h·

Discuss: Lobsters, Hacker News

📟Terminal Typography

Reading for the New Year: Part Four

newyorker.com·9h

🎯Gradual Typing

Thefoggiest.dev

thefoggiest.dev·6h

Analogue Appreciation: Searows’ 5 favourite pieces of physical culture

huckmag.com·18h

🏺Gaming Archaeology

dev.to·15h·

Discuss: DEV

📜Proof Carrying Code

Things that work (for me)

herman.bearblog.dev·1d

💾Persistence Strategies

The alien hunter's shopping list

phys.org·1d

🌳Format Genealogy

teachingmadefun.com·9h·

Discuss: Hacker News

📋records management

korrectional/Every-Week: Making a little project every week

github.com·1d·

Discuss: Hacker News

🌊Streaming Algorithms

Using a wiki for personal notes is overkill

xda-developers.com·1d

🌱Personal Wikis

Upload notes. Get quizzes. Master anything

knowbotic.app·1d·

Discuss: Hacker News

🧠Personal Knowledge Base

Apps that can sort out American goods are sweeping to the top

dr.dk·23h·

Discuss: Hacker News

Building a Blog in Gleam

gearsco.de·20h·

Discuss: Lobsters, Hacker News

📰RSS Feed Discovery

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔲Proof Irrelevance

The best cooking utensils for effortless everyday meal prep

mercurynews.com·2d

🧮Algorithmic Cooking

2025 Year Review

azeemba.com·2d

⚙️Proof Engineering

Loading more...